/LMAR=0/XLINE=3/FONT#0=FIX25/FONT#1=FIX25X


␈↓ α∧␈↓↓␈↓ εCURRICULUM VITA

␈↓ α∧␈↓Personal:       ␈↓&Name␈↓)αβ             Ruth E. Davis

␈↓ α∧␈↓                ␈↓&Address␈↓)αβ          18215 Bayview Drive
␈↓ α∧␈↓                                 Los Gatos, CA 95030

␈↓ α∧␈↓                ␈↓&Telephone␈↓)αβ        (408) 353-3857

␈↓ α∧␈↓                ␈↓&Citizenship␈↓)αβ      United States



␈↓ α∧␈↓Education:      University of Santa Clara
␈↓ α∧␈↓                Major: Mathematics
␈↓ α∧␈↓                B.S. May, 1973

␈↓ α∧␈↓                San Jose State University
␈↓ α∧␈↓                Major: Mathematics
␈↓ α∧␈↓                M.S. June, 1976
␈↓ α∧␈↓                Master's thesis: "Deduction, Truth and Computation"
␈↓ α∧␈↓                        A study of the relationships among these concepts in
␈↓ α∧␈↓                        several mathematical and computer science formalisms.

␈↓ α∧␈↓                University of California, Santa Cruz
␈↓ α∧␈↓                Major: Information Sciences
␈↓ α∧␈↓                Advanced to Ph.D. candidacy in November, 1977; this involved
␈↓ α∧␈↓                        qualification in three areas:
␈↓ α∧␈↓                                1) Mathematical Theory of Computation
␈↓ α∧␈↓                                2) Programming Linguistics
␈↓ α∧␈↓                                3) Computer Architecture
␈↓ α∧␈↓                        and a comprehensive oral exam, including presentation
␈↓ α∧␈↓                        of proposed thesis research.
␈↓ α∧␈↓                Ph.D. Thesis advisor: Dr. Sharon Sickel.
␈↓ α∧␈↓                Dissertation: "Generating Correct Programs from Logic
␈↓ α∧␈↓                        Specifications".
␈↓ α∧␈↓                Completion of degree: June 1979.





␈↓ α∧␈↓Teaching Experience:

␈↓ α∧␈↓        Reader -        University of Santa Clara. Courses: Differential
␈↓ α∧␈↓                        Equations, Finite Mathematics, and Survey of Geometry.

␈↓ α∧␈↓        Tutor -         Math Lab, University of Santa Clara
␈↓ α∧␈↓                        Math Lab, San Jose State University
␈↓ α∧␈↓                        Algebra, private student

␈↓ α∧␈↓        Lecturer -      San Jose State University (Sept., 1974 thru June, 1976).
␈↓ α∧␈↓                        Two courses each semester: Finite Mathematics and
␈↓ α∧␈↓                        Elementary Mathematics for Elementary School Teachers.

␈↓ α∧␈↓        Teaching Assistant - University of California, Santa Cruz (Sept., 1976
␈↓ α∧␈↓                        thru March, 1979). Courses: Computers and Society,
␈↓ α∧␈↓                        Introduction to Computation, Introduction to Cybernetics,
␈↓ α∧␈↓                        Programming in ALGOL-W, and Computational Logic.


␈↓ α∧␈↓        Lecturer -      University of California, Santa Cruz (summer 1978).
␈↓ α∧␈↓                        Course: Introduction to Cybernetics.

␈↓ α∧␈↓        Lecturer -      University of California, Santa Cruz (spring 1979).
␈↓ α∧␈↓                        Two courses: Introduction to Programming in ALGOL-W
␈↓ α∧␈↓                                     Data Structures

␈↓ α∧␈↓        Teaching Assistant - University of California, Santa Cruz; Computer
␈↓ α∧␈↓                        Institute (summer 1979).
␈↓ α∧␈↓                        Courses: Systems Reliability and Programming Methodology

␈↓ α∧␈↓        Assistant Professor - University of Santa Clara (September 1979 -)




␈↓ α∧␈↓Related Work Experience:

␈↓ α∧␈↓        Hewlett-Packard Research Labs - member technical staff, summers 1976 and
␈↓ α∧␈↓                1977, and winter break Dec 1976 - Jan 1977.

␈↓ α∧␈↓        Research Assistantship - summer 1978, thesis related research.

␈↓ α∧␈↓        Assistant at IFIPS Working Group 2.3 (Programming Methodology) meeting
␈↓ α∧␈↓                August 1979.

␈↓ α∧␈↓        Consultant to Logical Paradox, Inc. (1979 -)

␈↓ α∧␈↓        Consultant to The LISP Company, (T . (L . C))  (1979 -)




␈↓ α∧␈↓Academic Honors:

␈↓ α∧␈↓        Pi Mu Epsilon membership (National Math Honor Society)

␈↓ α∧␈↓        Graduate Fellowship 1974-76, San Jose State University

␈↓ α∧␈↓        Teaching Assistantship 1976-79, University of California, Santa Cruz

␈↓ α∧␈↓        Graduate Fellowship, Fall-Winter 1978-79, University of California,
␈↓ α∧␈↓                Santa Cruz

␈↓ α∧␈↓        1979 ACM Doctoral Forum Award recognizing most significant contributions
␈↓ α∧␈↓                to the field of computing made by dissertations completed during
␈↓ α∧␈↓                the past year.





␈↓ α∧␈↓Membership in professional societies:

␈↓ α∧␈↓        European Association for Theoretical Computer Science

␈↓ α∧␈↓        Association for Computing Machinery, including the following special
␈↓ α∧␈↓                interest groups:
␈↓ α∧␈↓                SIGACT  (Automata and Computability Theory)


␈↓ α∧␈↓                SIGART  (Artificial Intelligence)
␈↓ α∧␈↓                SIGOPS  (Operating Systems)
␈↓ α∧␈↓                SIGPC   (Personal Computing)
␈↓ α∧␈↓                SIGPLAN (Programming Languages)
␈↓ α∧␈↓                SIGSMALL(Small Computing Systems and Applications)
␈↓ α∧␈↓                SIGSOFT (Software Engineering)

␈↓ α∧␈↓        California Women in Higher Education




␈↓ α∧␈↓Recommendations from the people listed below may be obtained by writing to:

␈↓ α∧␈↓                        Educational Placement Office
␈↓ α∧␈↓                        McHenry Library, Room 350
␈↓ α∧␈↓                        University of California, Santa Cruz
␈↓ α∧␈↓                        Santa Cruz, CA 95064

␈↓ α∧␈↓␈↓ ε∧Dr. Sharon Sickel
␈↓ α∧␈↓␈↓ ∧lUniversity of California, Santa Cruz

␈↓ α∧␈↓␈↓ ε∧Dr. Michael Burke
␈↓ α∧␈↓␈↓ ¬DSan Jose State University

␈↓ α∧␈↓␈↓ ε∧Dr. David Huffman
␈↓ α∧␈↓␈↓ ∧lUniversity of California, Santa Cruz

␈↓ α∧␈↓␈↓ ¬lDr. William McKeeman
␈↓ α∧␈↓␈↓ ∧lUniversity of California, Santa Cruz

␈↓ α∧␈↓␈↓ εDr. Charlie Bass
␈↓ α∧␈↓␈↓ ∧dUngerman Bass Associates, Santa Clara